a commutative ring is an integral domain iff it has teh cancellation law